Bi-directional transformations (bx) – Theory and Applications Across Disciplines

نویسندگان

  • Jeremy Gibbons
  • Richard F. Paige
  • Andy Schürr
  • James F. Terwilliger
چکیده

Bidirectional transformations (bx) are mathematics-based formalisms used in applied computer science for maintaining the consistency of two (or more) related data structures [4]. Researchers from many different areas including software engineering (SE), programming languages (PL), databases (DB), and graph transformation (GT) are actively investigating the use of bx to solve a diverse set of problems. Moreover, new fields in applied computer science are discovering bx as a potential solution to current and ongoing challenges. The mathematics of bx are of significant interest to many researchers and developers in computer science. Applications of this mathematics are of great value to practitioners who need to manage large datasets. Problems of interest to researchers in bx include:

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Rigorously Faking Bidirectional Model Transformations

Bidirectional model transformations (bx) are mechanisms for automatically restoring consistency between multiple concurrently modified models. They are, however, challenging to implement; many model transformation languages not supporting them at all. In this paper, we propose an approach for automatically obtaining the consistency guarantees of bx without the complexities of a bx language. Fir...

متن کامل

Nonlocal elasticity theory for static torsion of the bi-directional functionally graded microtube under magnetic field

The microtubes are important structures in nano electromechanical system .in this study a nonlocal model is presented to investigate the static torsion behavior of microtubes made of bi-directional factionally graded material (BDFGM) subjected to a longitudinal magnetic field. Mechanical properties of BDFGM microtube varies in the radial and longitudinal direction according to an arbitrary func...

متن کامل

Distributed and Cooperative Compressive Sensing Recovery Algorithm for Wireless Sensor Networks with Bi-directional Incremental Topology

Recently, the problem of compressive sensing (CS) has attracted lots of attention in the area of signal processing. So, much of the research in this field is being carried out in this issue. One of the applications where CS could be used is wireless sensor networks (WSNs). The structure of WSNs consists of many low power wireless sensors. This requires that any improved algorithm for this appli...

متن کامل

Modified Bi-directional AC/DC Power Converter with Power Factor Correction

Most existing power  converters and industrial motor drive systems draw non-sinusoidal currents from the supply. Non-sinusoidal currents contained harm harmonics disturb the power supply which it causes serious concern for reliability. Other equipments that use the same power supply are adversely affected. This paper suggests the operation and performance of a new modified AC/DC converter that ...

متن کامل

Free vibration behavior of bi-directional functionally graded plates with porosities using a refined first order shear deformation theory

This paper proposes the refined first order shear deformation theory to investigate the free vibration behavior of bidirectional functionally graded porous plates. This theory satisfies the transverse shear stress free conditions at the top and bottom of the plate, thus avoids the need of a shear correction factor. The rule of mixtures is employed to compute the effective material properties an...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014